inductive synthesis method

归纳综合方法